From: Owen W. Taylor Date: Mon, 21 Feb 2011 14:32:35 +0000 (-0500) Subject: overview: avoid round-off errors when sizing and positioning view selector X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~8925 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=9c4cee787560027c36e0e1d375c5ceff047c3837;p=gnome-shell.git overview: avoid round-off errors when sizing and positioning view selector We need the view selector to extend all the way to the right edge of the monitor, so size and position the view selector in a way that the sum of its X position and its width add up to the primary monitor width. https://bugzilla.gnome.org/show_bug.cgi?id=642834 --- diff --git a/js/ui/overview.js b/js/ui/overview.js index 843d8f280..fd2266b05 100644 --- a/js/ui/overview.js +++ b/js/ui/overview.js @@ -437,11 +437,11 @@ Overview.prototype = { this._coverPane.set_position(0, contentY); this._coverPane.set_size(primary.width, contentHeight); - let viewWidth = (1.0 - DASH_SPLIT_FRACTION) * primary.width - this._spacing; + let dashWidth = Math.round(DASH_SPLIT_FRACTION * primary.width); + let viewWidth = primary.width - dashWidth - this._spacing; let viewHeight = contentHeight - 2 * this._spacing; let viewY = contentY + this._spacing; - let viewX = rtl ? 0 - : Math.floor(DASH_SPLIT_FRACTION * primary.width) + this._spacing; + let viewX = rtl ? 0 : dashWidth + this._spacing; // Set the dash's x position - y is handled by a constraint let dashX;